Formal Software Architecture Design of Secure Distributed Systems
نویسندگان
چکیده
This paper proposes a formal software architecture design method for distributed systems. The underlying formalism is the Software Architecture Model (SAM), a general software architecture model combining Petri nets and temporal logic. We present a two-tier structure for architectural modeling. The upper level models the workflow of a distributed system. Each place at the upper level is a super-place that corresponds to a lower level Petri net. An initial distributed architecture can be directly derived from the upper level model. Security of the architecture is checked using the dependence relation of the model. Security policies are enforced by systematically reconstructing the initial architecture. A Travel Planner is used as the example to demonstrate our approach to secure software architecture design of distributed systems.
منابع مشابه
A Survey of Modeling and Analysis Approaches for Architecting Secure Software Systems
There has been a growing interest in investigating methodologies to support the development of secure systems in the software engineering research community. Recently, much attention has been focused on the modelling and analysis of security properties for systems at the software architecture design level. The potential benefits of this architecture level work are substantial: security flaws ca...
متن کاملIntegrating Security Administration into Software Architectures Design
Software architecture plays a central role in developing software systems that satisfy functionality and security requirements. However, little has been done to integrate system design with security enforcement, which would otherwise benefits both development process and system’s quality of service (QoS). This paper proposes a formal method to integrate security administration into software arc...
متن کاملDesign an Interoperable Mobile Agent System Based on Predicate Transition Net Models
Mobile agents provide an effective and flexible style to develop advanced distributed systems. In order to promote interoperability and ensure the quality of mobile agent systems, it is necessary to formalize software architecture of mobile agent systems. In this paper, we not only define the software architecture of interoperable mobile agent systems using predicate transition nets, but also a...
متن کاملFormal Approach to an Architecture of Distributed Information Systems
An architectural design of a distributed information system and its implementation can be very complex and difficult – especially in a case of dynamic architecture, which is changing in a system runtime according to behaviour of the system. Formal approaches can eliminate most failures by model checking, but they require a formal specification of architecture in the design phase of a project. I...
متن کاملA software architecture and framework for Web-based distributed Decision Support Systems
This paper presents an integrated method to help design and implement a Web-based Decision Support Systems (DSS) in a distributed environment. First, a layered software architecture is presented to assist in the design of a Web-based DSS. The layered software architecture can provide a formal and hierarchical view of the Web-based DSS at the design stage. Next, a component-based framework is pr...
متن کامل